" Sriram K. Rajamani" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings (Lecture ... Programming and Software Engineering)

Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani

Категория: Техника

2.36 Mb

#2

Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings (Lecture Notes ... Programming and Software Engineering)

Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani

Категория: Техника

1.83 Mb

#3

Computer Aided Verification, 17 conf., CAV 2005

Kousha Etessami, Sriram K. Rajamani

Категория: Cs_Computer science, CsLn_Lecture notes

4.88 Mb

#4

Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings

Thomas Ball, Sriram K. Rajamani

2.42 Mb